# -*- mode: snippet -*-
# name: Add Morphism
# key: addmor
# uuid: addmor
# --
Add Morphism ${1:f} : ${2:id}
